退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用C-O图表对规范性规范的一致性验证
Gregorio Díaz; Luis Llana; Valentín Valero; Jose Antonio Mateo;
机译:使用C-O图规范和验证规范文本
机译:规范多主体系统的非功能规范规范和验证方法
机译:Revani:修改和验证规范性隐私规范
机译:DisCSP对规范化多主体系统的正式规范和验证
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:C2的规范交互规范:用于模型驱动架构框架的综合规则模型
机译:消费品分配设备,具有识别单元,用于识别设备相对于预定义使用规范的操作条件,以及验证单元,用于验证条件是否符合规范
机译:使用相同的OPC UA规范一致性验证和程序的装置和方法
机译:自动验证文件是否符合标准化规范的系统,装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。